๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐ Dependent Types
Proof Assistants, Theorem Proving, Coq, Idris
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Container Use for Locally Sandboxed, Background Agents in Zed
zed.dev
ยท
1d
ยท
Discuss:
Hacker News
โฑ๏ธ
Tokio
Bad Map Projection: Interrupted Spheres
xkcd.com
ยท
1d
๐ฆ
Rust
Can small AI models think as well as large ones?
seangoedecke.com
ยท
4d
ยท
Discuss:
Hacker News
๐ค
AI
Kite Incident
xkcd.com
ยท
3d
๐
Static Analysis
Geologic Periods
xkcd.com
ยท
6d
๐ข
Linear Types